Abstract type

Results: 1261



#Item
441XML / Symbol / Icosidodecahedron / Computing / Archimedean solids / Technical communication

ON THE COMPLEXITY OF VERIFYING CONSISTENCY OF XML SPECIFICATIONS∗ MARCELO ARENAS† , WENFEI FAN‡ , AND LEONID LIBKIN§ Abstract. XML specifications often consist of a type definition (typically, a DTD) and a set o

Add to Reading List

Source URL: homepages.inf.ed.ac.uk

Language: English - Date: 2008-01-30 05:47:39
442Proof theory / Deduction / Algebraic topology / Curry–Howard correspondence / Philosophy of computer science / Type theory / Entailment / Sheaf / Natural deduction / Logic / Abstract algebra / Mathematics

Propositions as [Types] Steve Awodey∗ Andrej Bauer† Institut Mittag-Leffler

Add to Reading List

Source URL: andrej.com

Language: English - Date: 2010-06-11 17:17:44
443Linear algebra / Abstract algebra / Dimension / Vectors / Array data type / Array programming / MATLAB / Euclidean subspace / Algebra / Mathematics / Software

CS 1173: MATLAB min function The min function returns the minimum value of the elements  along an array dimension. B = min(A, [], dim) minimum elements

Add to Reading List

Source URL: www.cs.utsa.edu

Language: English - Date: 2009-09-22 20:25:08
444Object-oriented programming / Java / Ring / Class / Multiple inheritance / Abstract type / Clone / Objective-C / Polynomial / Software engineering / Computing / Computer programming

Approaching Inheritance from a “Natural” Mathematical Perspective and from a Java Driven Viewpoint: a Comparative Review Marc Conrad1 , Tim French1 , Carsten Maple1 , and Sandra Pott2 1

Add to Reading List

Source URL: ring.perisic.com.

Language: English - Date: 2003-12-13 23:05:01
445Bibliography / Academic publishing / APA style / American Psychological Association / Abstract / Citation / Research / Type system / Psychology / Knowledge / Education / Academia

An Introduction to APA Style A Student Guide for the 6th edition (2nd printing) of the APA Publication Manualmcym

Add to Reading List

Source URL: imjcr.com

Language: English - Date: 2013-09-28 17:15:44
446Computer programming / Abstract data types / Procedural programming languages / Arrays / Sorting algorithms / Array data type / Linked list / List / Stack / Computing / Software engineering / Data types

Breaking the Complexity Barrier of Pure Functional Programs with Impure Data Structures Pieter Wuille and Tom Schrijvers? Department of Computer Science, K.U.Leuven, Belgium FirstName.LastName @cs.kuleuven.be

Add to Reading List

Source URL: lirias.kuleuven.be

Language: English
447Abstract algebra / Matrix / Euclidean vector / Array data structure / Array data type / Algebra / Mathematics / Linear algebra

R Essentials Christopher Manning 4 November 2007 Here are some collected pointers on some useful things that you should have picked up, but just to make sure that you have. . . .

Add to Reading List

Source URL: www-nlp.stanford.edu

Language: English - Date: 2007-11-26 17:08:13
448

LEMBAGA PENGELOLAAN DANA PENDIDIKAN User Manual Rispro Periset [Type the abstract of the document here. The abstract is typically a short summary of the contents of the

Add to Reading List

Source URL: www.rispro.lpdp.kemenkeu.go.id

Language: Indonesian - Date: 2014-03-20 07:22:04
    449Population genetics / Genetic genealogy / Genetic epidemiology / Genome-wide association study / Regression analysis / Single-nucleotide polymorphism / 23andMe / Heritability / Logistic regression / Genetics / Biology / Philosophy of biology

    Risk prediction and Type II Diabetes Nicholas A. Furlotte1, Sheel Dandekar1, Robin Smith1, Nicholas Eriksson1 and David A. Hinds1 1. 23andMe, Inc., Mountain View, CA, USA Abstract

    Add to Reading List

    Source URL: blog.23andme.com

    Language: English - Date: 2014-10-10 12:34:26
    450Abstract algebra / Universal algebra / Formal languages / Boolean algebra / Measure theory / Sigma-algebra / Structure / Parity of a permutation / Dual / Mathematics / Model theory / Mathematical logic

    Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh

    Add to Reading List

    Source URL: homepages.inf.ed.ac.uk

    Language: English - Date: 2008-04-25 03:41:02
    UPDATE